2011

Technical report

[1] Eun-Hye Choi, Takahiro Ando, Hideaki Nishihara, Masahiro Aoki, Keiichi Yoshisaka, Takao Sonoda, Shouichi Hasuike, and Osamu Mizuno, "SENS - Specification Language for Embedded Network Systems - toward Automatic Test Generation (Preliminary Version)",    Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology, 2011.